89 research outputs found
Extremal problems in logic programming and stable model computation
We study the following problem: given a class of logic programs C, determine
the maximum number of stable models of a program from C. We establish the
maximum for the class of all logic programs with at most n clauses, and for the
class of all logic programs of size at most n. We also characterize the
programs for which the maxima are attained. We obtain similar results for the
class of all disjunctive logic programs with at most n clauses, each of length
at most m, and for the class of all disjunctive logic programs of size at most
n. Our results on logic programs have direct implication for the design of
algorithms to compute stable models. Several such algorithms, similar in spirit
to the Davis-Putnam procedure, are described in the paper. Our results imply
that there is an algorithm that finds all stable models of a program with n
clauses after considering the search space of size O(3^{n/3}) in the worst
case. Our results also provide some insights into the question of
representability of families of sets as families of stable models of logic
programs
On graph equivalences preserved under extensions
Let R be an equivalence relation on graphs. By the strengthening of R we mean
the relation R' such that graphs G and H are in the relation R' if for every
graph F, the union of the graphs G and F is in the relation R with the union of
the graphs H and F. We study strengthenings of equivalence relations on graphs.
The most important case that we consider concerns equivalence relations defined
by graph properties. We obtain results on the strengthening of equivalence
relations determined by the properties such as being a k-connected graph,
k-colorable, hamiltonian and planar
- …